module Hello{

	interface HelloICE{
		string welcome(string user);
	};
};